Decomposing the complexity quotient category
نویسنده
چکیده
منابع مشابه
Category of $H$-groups
This paper develops a basic theory of $H$-groups. We introduce a special quotient of $H$-groups and extend some algebraic constructions of topological groups to the category of H-groups and H-maps and then present a functor from this category to the category of quasitopological groups.
متن کاملTransformation of BL-general Fuzzy Automata
In this paper, we prove that any BL-general fuzzy automaton (BL-GFA) and its quotient have the same behavior. In addition, we obtain the minimal quotient BL-GFA and minimal quotient transformation of the BL-GFA, considering the notion of maximal admissible partition. Furthermore, we show that the number of input symbols and time complexity of the minimal quotient transformation of a BL-GFA are ...
متن کاملOn the Pullback Stability of a Quotient Map with Respect to a Closure Operator
There are well-known characterizations of the hereditary quotient maps in the category of topological spaces, (that is, of quotient maps stable under pullback along embeddings), as well as of universal quotient maps (that is, of quotient maps stable under pullback). These are precisely the so-called pseudo-open maps, as shown by Arhangel’skii, and the bi-quotient maps of Michael, as shown by Da...
متن کاملL-CONVEX SYSTEMS AND THE CATEGORICAL ISOMORPHISM TO SCOTT-HULL OPERATORS
The concepts of $L$-convex systems and Scott-hull spaces are proposed on frame-valued setting. Also, we establish the categorical isomorphism between $L$-convex systems and Scott-hull spaces. Moreover, it is proved that the category of $L$-convex structures is bireflective in the category of $L$-convex systems. Furthermore, the quotient systems of $L$-convex systems are studied.
متن کاملA Construction of a Quotient Tensor Category
Let f : G → A be a surjective homomorphism of transitive groupoid schemes and let L denote the kernel of f . The exact sequence of groupoid schemes 1 → L → G → A → 1 induces a sequence of functors between the categories of finite representations of these groupoid schemes Repf (A) → Repf (G) → Repf (L). We show that the category Repf (L) is a quotient category of Repf (G) by Repf (A) in an appro...
متن کامل